Sprite 1984 - 1993/Sprite 1984 - 1993.iso/lib/tex/inputs/iso-doc.tex/internals.pl

Text File | 1991-05-20 | 2KB | 103 lines

# LaTeX2HTML 2022 (Released January 1, 2022)
# Associate internals original text with physical files.


$key = q/annex.example/;
$ref_files{$key} = "$dir".q|node14_ct.html|;
$noresave{$key} = "$nosave";

$key = q/contents/;
$ref_files{$key} = "$dir".q|node7_ct.html|;
$noresave{$key} = "$nosave";

$key = q/def.def/;
$ref_files{$key} = "$dir".q|node6_ct.html|;
$noresave{$key} = "$nosave";

$key = q/definitions/;
$ref_files{$key} = "$dir".q|node6_ct.html|;
$noresave{$key} = "$nosave";

$key = q/div.special.def/;
$ref_files{$key} = "$dir".q|node7_ct.html|;
$noresave{$key} = "$nosave";

$key = q/divns/;
$ref_files{$key} = "$dir".q|node7_ct.html|;
$noresave{$key} = "$nosave";

$key = q/figure.example/;
$ref_files{$key} = "$dir".q|node15_ct.html|;
$noresave{$key} = "$nosave";

$key = q/guide.fonts/;
$ref_files{$key} = "$dir".q|node15_ct.html|;
$noresave{$key} = "$nosave";

$key = q/guide.unusual/;
$ref_files{$key} = "$dir".q|node15_ct.html|;
$noresave{$key} = "$nosave";

$key = q/guide.verbatim/;
$ref_files{$key} = "$dir".q|node15_ct.html|;
$noresave{$key} = "$nosave";

$key = q/intro/;
$ref_files{$key} = "$dir".q|node3_ct.html|;
$noresave{$key} = "$nosave";

$key = q/latex.ref/;
$ref_files{$key} = "$dir".q|node15_ct.html|;
$noresave{$key} = "$nosave";

$key = q/lists.types/;
$ref_files{$key} = "$dir".q|node9_ct.html|;
$noresave{$key} = "$nosave";

$key = q/newverb/;
$ref_files{$key} = "$dir".q|node11_ct.html|;
$noresave{$key} = "$nosave";

$key = q/prog/;
$ref_files{$key} = "$dir".q|node11_ct.html|;
$noresave{$key} = "$nosave";

$key = q/references/;
$ref_files{$key} = "$dir".q|node5_ct.html|;
$noresave{$key} = "$nosave";

$key = q/run/;
$ref_files{$key} = "$dir".q|node16_ct.html|;
$noresave{$key} = "$nosave";

$key = q/special.foreword/;
$ref_files{$key} = "$dir".q|node7_ct.html|;
$noresave{$key} = "$nosave";

$key = q/special.intro/;
$ref_files{$key} = "$dir".q|node7_ct.html|;
$noresave{$key} = "$nosave";

$key = q/specialchars/;
$ref_files{$key} = "$dir".q|node10_ct.html|;
$noresave{$key} = "$nosave";

$key = q/specialchars.reserved/;
$ref_files{$key} = "$dir".q|node10_ct.html|;
$noresave{$key} = "$nosave";

$key = q/structure.general.maketitle/;
$ref_files{$key} = "$dir".q|node7_ct.html|;
$noresave{$key} = "$nosave";

$key = q/table.chars/;
$ref_files{$key} = "$dir".q|node15_ct.html|;
$noresave{$key} = "$nosave";

$key = q/table.example/;
$ref_files{$key} = "$dir".q|node15_ct.html|;
$noresave{$key} = "$nosave";

1;